void gui(int argc, char **argv);